Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին
1
Problems in set theory, mathematical logic and the theory of algorithms

Problems in set theory, mathematical logic and the theory of algorithms

Տարի:
2003
Լեզու:
english
Ֆայլ:
DJVU, 1.73 MB
0 / 0
english, 2003
2
Corso di logica modale proposizionale

Corso di logica modale proposizionale

Տարի:
2019
Լեզու:
italian
Ֆայլ:
PDF, 11.01 MB
0 / 3.0
italian, 2019
3
Corso di logica modale proposizionale

Corso di logica modale proposizionale

Տարի:
2019
Լեզու:
italian
Ֆայլ:
PDF, 5.17 MB
0 / 5.0
italian, 2019
5
Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

Տարի:
2008
Լեզու:
english
Ֆայլ:
PDF, 1.48 MB
0 / 0
english, 2008